XLAT(4*PT_FRAMETYPE),
XLAT(4*PT_ORIG_R10),
XLAT(4*PT_R13),
XLAT(4*PT_R12),
XLAT(4*PT_R11),
XLAT(4*PT_R10),
XLAT(4*PT_R9),
XLAT(4*PT_R8),
XLAT(4*PT_R7),
XLAT(4*PT_R6),
XLAT(4*PT_R5),
XLAT(4*PT_R4),
XLAT(4*PT_R3),
XLAT(4*PT_R2),
XLAT(4*PT_R1),
XLAT(4*PT_R0),
XLAT(4*PT_MOF),
XLAT(4*PT_DCCR),
XLAT(4*PT_SRP),
XLAT(4*PT_IRP),
XLAT(4*PT_CSRINSTR),
XLAT(4*PT_CSRADDR),
XLAT(4*PT_CSRDATA),
XLAT(4*PT_USP),
/* Other fields in "struct user" */
#include "../userent0.h"
